403 research outputs found
Sublinear-Time Algorithms for Monomer-Dimer Systems on Bounded Degree Graphs
For a graph , let be the partition function of the
monomer-dimer system defined by , where is the
number of matchings of size in . We consider graphs of bounded degree
and develop a sublinear-time algorithm for estimating at an
arbitrary value within additive error with high
probability. The query complexity of our algorithm does not depend on the size
of and is polynomial in , and we also provide a lower bound
quadratic in for this problem. This is the first analysis of a
sublinear-time approximation algorithm for a # P-complete problem. Our
approach is based on the correlation decay of the Gibbs distribution associated
with . We show that our algorithm approximates the probability
for a vertex to be covered by a matching, sampled according to this Gibbs
distribution, in a near-optimal sublinear time. We extend our results to
approximate the average size and the entropy of such a matching within an
additive error with high probability, where again the query complexity is
polynomial in and the lower bound is quadratic in .
Our algorithms are simple to implement and of practical use when dealing with
massive datasets. Our results extend to other systems where the correlation
decay is known to hold as for the independent set problem up to the critical
activity
Determining Context Factors for Hybrid Development Methods with Trained Models
Selecting a suitable development method for a specific project context is one of the most challenging activities in process design. Every project is unique and, thus, many context factors have to be considered. Recent research took some initial steps towards statistically constructing hybrid development methods, yet, paid little attention to the peculiarities of context factors influencing method and practice selection. In this paper, we utilize exploratory factor analysis and logistic regression analysis to learn such context factors and to identify methods that are correlated with these factors. Our analysis is based on 829 data points from the HELENA dataset. We provide five base clusters of methods consisting of up to 10 methods that lay the foundation for devising hybrid development methods. The analysis of the five clusters using trained models reveals only a few context factors, e.g., project/product size and target application domain, that seem to significantly influence the selection of methods. An extended descriptive analysis of these practices in the context of the identified method clusters also suggests a consolidation of the relevant practice sets used in specific project contexts
An Efficient Partitioning Oracle for Bounded-Treewidth Graphs
Partitioning oracles were introduced by Hassidim et al. (FOCS 2009) as a
generic tool for constant-time algorithms. For any epsilon > 0, a partitioning
oracle provides query access to a fixed partition of the input bounded-degree
minor-free graph, in which every component has size poly(1/epsilon), and the
number of edges removed is at most epsilon*n, where n is the number of vertices
in the graph.
However, the oracle of Hassidimet al. makes an exponential number of queries
to the input graph to answer every query about the partition. In this paper, we
construct an efficient partitioning oracle for graphs with constant treewidth.
The oracle makes only O(poly(1/epsilon)) queries to the input graph to answer
each query about the partition.
Examples of bounded-treewidth graph classes include k-outerplanar graphs for
fixed k, series-parallel graphs, cactus graphs, and pseudoforests. Our oracle
yields poly(1/epsilon)-time property testing algorithms for membership in these
classes of graphs. Another application of the oracle is a poly(1/epsilon)-time
algorithm that approximates the maximum matching size, the minimum vertex cover
size, and the minimum dominating set size up to an additive epsilon*n in graphs
with bounded treewidth. Finally, the oracle can be used to test in
poly(1/epsilon) time whether the input bounded-treewidth graph is k-colorable
or perfect.Comment: Full version of a paper to appear in RANDOM 201
Applying formal methods to standard development: the open distributed processing experience
Since their introduction, formal methods have been applied in various ways to different standards. This paper gives an account of these applications, focusing on one application in particular: the development of a framework for creating standards for Open Distributed Processing (ODP). Following an introduction to ODP, the paper gives an insight into the current work on formalising the architecture of the
Reference Model of ODP (RM-ODP), highlighting the advantages to be gained. The different approaches currently being taken are shown, together with their associated advantages and disadvantages. The paper concludes that there is no one all-purpose approach which can be used
in preference to all others, but that a combination of approaches is desirable to best fulfil the potential of formal methods in developing an architectural semantics for OD
Assessing architectural evolution: A case study
This is the post-print version of the Article. The official published can be accessed from the link below - Copyright @ 2011 SpringerThis paper proposes to use a historical perspective on generic laws, principles,
and guidelines, like Lehman’s software evolution laws and Martin’s design principles, in order to achieve a multi-faceted process and structural assessment of a system’s architectural evolution. We present a simple structural model with associated historical metrics and
visualizations that could form part of an architect’s dashboard. We perform such an assessment for the Eclipse SDK, as a case study of a large, complex, and long-lived system for which sustained effective architectural evolution is paramount. The twofold aim of checking generic principles on a well-know system is, on the one hand,
to see whether there are certain lessons that could be learned for best practice of architectural evolution, and on the other hand to get more insights about the applicability of such principles. We find that while the Eclipse SDK does follow several of the laws and principles, there are some deviations, and we discuss areas of architectural improvement and limitations of the assessment approach
The effect of Ku on telomere replication time is mediated by telomere length but is independent of histone tail acetylation
Peer reviewedPublisher PD
Lubricating Bacteria Model for Branching growth of Bacterial Colonies
Various bacterial strains (e.g. strains belonging to the genera Bacillus,
Paenibacillus, Serratia and Salmonella) exhibit colonial branching patterns
during growth on poor semi-solid substrates. These patterns reflect the
bacterial cooperative self-organization. Central part of the cooperation is the
collective formation of lubricant on top of the agar which enables the bacteria
to swim. Hence it provides the colony means to advance towards the food. One
method of modeling the colonial development is via coupled reaction-diffusion
equations which describe the time evolution of the bacterial density and the
concentrations of the relevant chemical fields. This idea has been pursued by a
number of groups. Here we present an additional model which specifically
includes an evolution equation for the lubricant excreted by the bacteria. We
show that when the diffusion of the fluid is governed by nonlinear diffusion
coefficient branching patterns evolves. We study the effect of the rates of
emission and decomposition of the lubricant fluid on the observed patterns. The
results are compared with experimental observations. We also include fields of
chemotactic agents and food chemotaxis and conclude that these features are
needed in order to explain the observations.Comment: 1 latex file, 16 jpeg files, submitted to Phys. Rev.
PerPos: A Translucent Positioning Middleware Supporting Adaptation of Internal Positioning Processes
- …